xen/arm: implement arch_domain_destroy
authorStefano Stabellini <stefano.stabellini@eu.citrix.com>
Tue, 5 Feb 2013 11:31:08 +0000 (11:31 +0000)
committerStefano Stabellini <stefano.stabellini@eu.citrix.com>
Tue, 5 Feb 2013 11:31:08 +0000 (11:31 +0000)
commit3535ad04f2e3cef0306b59fff5ca70b217a45585
tree77f589fc9a90305a2b9631e56cc7256ade818ef0
parent620d5dad54008e40798c4a0c4322aef274c36fa3
xen/arm: implement arch_domain_destroy

Implement arch_domain_destroy, use it in the error path of
arch_domain_create.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Committed-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/domain.c